script;

fn main(arg: u256) -> u256 {
    arg + 0x0000000000000006000000000000000700000000000000080000000000000009u256
}
